[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Specification cell-heap-aux
actualize rg
with cell
by morphism : obj → cell; [ ] → [ ]; [ ] → [ ]; => → =>; _∃ → _∃; mk → mk; [ ]o → [ ]o; [ ] → [ ]; ==> → ==>; _∃ → _∃; mk → mk; [ ] → [ ]; [ ] → [ ]; 
            rely → rely; o → ce; o0 → ce0; o1 → ce1; a → o; a0 → o0; a1 → o1; f → cf; f0 → cf0; f1 → cf1; g → af; g0 → af0; g1 → af1; oP → oP; 
            oR → oR;
end actualize